FORMAL SPECIFICATIONS BUILDING FROM SPECIFICATIONS WRITTEN IN NATURAL LANGUAGE

International audienceMaking specifications is taking more and more time; every day an enormous quantity of pages which, for the most part, is written in natural language. However the need to reduce the time needed in the development of the services is a priority. One method is to formalise the maximum number of specifications received. With this in mind, we will try to demonstrate the possibility of a certain automation in the passage from the informal to the formal, by means of methods and proven tools, available to assist an expert in specifications. For this end we propose a process of formalisation which relies on an intermediary representation of the specifications with the formalism of conceptual graphs before arriving at a formal description in Z of the initial specification

Assistance to Agent-Based µ-Tools Development for a Co-operative Design Platform

International audienceWe report in this paper the assistance design of applications to actors of design process whom we call microtools (μ-tools). The μ-tools are well adapted to instrument the co-operative activities integrated in virtual spaces of the design. Those can be integrated on a software-agent platform (PLACID) adapted to the innovating and distributed design mechanical systems. The development of these μ-tools is a collaborative activity bringing together the future users and the developers. This collaboration is not always easy. Also, we try to propose possibilities of assistance throughout the development of the μ-tools, starting from the interactions and the natural expression of the various actors

Projet PLACID - Intégration de -outils d'analyse fonctionnelle

22 pagesNous relatons dans cet article la conception d'une plate-forme multi-agents adaptée à la conception innovante et distribuée de systèmes mécaniques et supportant des applications d'assistance aux concepteurs dénommés µ-outils. Cette plate-forme (PLACID : Plate-forme Logiciel d'Aide à la Conception Innovante et Distribuée) est développée dans le but d'apporter une assistance au travail de co-conception, guidé ou non par des processus complexes de type workflow pour leur capacité à gérer des flots de travaux coopératifs (contrôle et exécution de procédés coopératifs). L'utilisation du paradigme agent concerne aussi bien la modélisation et le développement des différentes couches de la plate-forme que celles des interfaces. A ces objectifs s'ajoutent des contraintes fortes de souplesse et d'adaptabilité, visant à faciliter l'intégration de nouveaux outils de travail collaboratif

MODELE DE COMMUNICATION POUR DES AGENTS D'ASSISTANCE DANS LES SYSTEMES COMPLEXES

International audienceLes systèmes multi-agents permettent de coordonner le comportement d'agents intelligents interagissant et communiquant dans une société pour réaliser des tâches ou résoudre des problèmes. Il nous semble donc bien adaptés pour concevoir une multi-assistance destinée à des tilisateurs de systèmes complexes – chaque agent représentant un niveau d'assistance. L'approche formelle que nous suivons consiste à définir une architecture modulaire pour ce type d'agents, à définir leur modèle de communication et de connaissance, à adopter une méthodologie rigoureuse d'acquisition de leur expertise. Dans l'intention d'illustrer notre approche, nous présenterons un système de simulation et de détection d'épidémies. Les épidémiologistes disposent d'un certain nombre d'indices qui leur permettent de différencier, sur la base d'accumulation de symptômes sur des individus, les cas isolés d'une maladie ou la conséquence d'une contagion (épidémie). Le système conçu sur la base de l'organisation de la santé publique, permet de simuler des cas de maladies (locaux ou épars) et d'établir régulièrement des rapports de diagnostics d'éventuelles épidémies

Du Langage Naturel à la Spécification – Application à la Spécification de Services de Télécommunication

International audienceLa rédaction de spécifications techniques, écrites la plupart du temps en langage naturel, est devenue une activité considérable. Parallèlement la nécessité de réduire les temps de développement de systèmes complexes, comme ceux des télécommunications, est une priorité. Une condition pour atteindre cet objectif consiste à formaliser le maximum de spécifications produites. Nous essayerons donc de montrer la possibilité d'une certaine automatisation du passage de l'informel au formel, grâce à des méthodes et outils fiables, susceptibles d'assister un expert humain en spécification. Nous proposons pour cela un processus de formalisation qui s'appuie sur une représentation intermédiaire des spécifications avec le formalisme des graphes conceptuels, avant de dériver une description formelle en Z. Puis, dans une deuxième approche, nous exposerons les éléments méthodologiques liés à un processus de conception orientée agent, cette fois semi-formel. Pour illustrer notre présentation et lui conférer une meilleure lisibilité, nous avons choisi un exemple simple de spécification que nous appliquerons à chacune des phases du processus de formalisation

Agent-Based Product Configuration: towards Generalized Consensus Seeking

This paper will present an evolution of a fuzzy agent based platform which performed products configuration. As a first step, we used the notion of consensus to establish robust results at the end of the configuration process. We implemented the concept of generalized consensus which implied the consideration of consensuses from the beginning, in this way robust data are treated during the entire process and the final result enables the designer to distinguish the robust components and flexible ones in a set of configurations.Comment: 8 pages, 8 figures, 5 table

RÉDACTION DE SPÉCIFICATIONS FORMELLES : ÉLABORATION À PARTIR DES SPÉCIFICATIONS ÉCRITES EN LANGAGE NATUREL

National audienceL'activité de spécification devient considérable ; une multitude de pages sont écrites tous les jours et la plupart du temps en langage naturel. Pour le CNET (Centre National d'Etudes des Télécommunications), qui réalise des études de services et d'équipements de France Telecom, et qui possède la maîtrise des étapes de spécification et de validation, a nécessité de réduire les temps de développement des services est une priorité. Une condition pour atteindre cet objectif consiste à formaliser le maximum de spécifications produites. Dans ce contexte, nous essayerons de montrer, la possibilité d'une certaine automatisation du passage de l'informel au formel, grâce à des méthodes et outils fiables, susceptibles d'assister un expert humain en spécifications. Nous proposons pour cela un processus de formalisation qui s'appuie sur une représentatin intermédiaire des spécifications avec le formalisme des graphes conceptuels, avant de dériver une description formelle en Z de la spécification initiale

Médiation et connaissances coopératives dans un EIAH

Au cours de notre travail sur la conception d'une méthodologie de développement de systèmes de médiation destinés à des systèmes complexes (coopératifs et/ou distribués), tels que les EIAH, nous avons montré la nécessité de disposer de nombreuses connaissances. Ces connaissances sont de 2 natures : des connaissances statiques, sur le domaine par exemple, et des connaissances acquises pendant l'utilisation coopérative du système, notamment la mémoire des activités et les descriptions des actes de résolutions de problèmes. Pour illustrer cette modélisation de connaissances, nous nous intéresserons aux activités coopératives de suivi, de gestion et d'évaluation de projets d'étudiants, assistées par l'outil iPédagogiqu